комбинаторная категория

См. также в других словарях:

• Комбинаторная оптимизация — – область теории оптимизации в прикладной математике, связанная с исследованием операций, теорией алгоритмов и теорией вычислительной сложности. В комбинаторной оптимизации используются как математические подходы, так и методы искусственного… …   Википедия

• Комбинаторная литература — Комбинаторная литература, литература формальных ограничений  литературные произведения, созданные на основе формального комбинирования тех или иных элементов текста (букв, слов, фраз, строк, абзацев): их перестановок, сочетаний, повторений,… …   Википедия

• Декартово замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… …   Википедия

• Декартово-замкнутая категория — В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму в ней соответствует некоторый объект , представляющий его. Декартово замкнутые категории, находятся, в… …   Википедия

• Формула Фаа-ди-Бруно — является обобщением формулы дифференцирования сложной функции на производные более высоких порядков. Она была названа в честь итальянского математика и священника Франческо Фаа ди Бруно, благодаря которому она стала известна (примерно 1855), хотя …   Википедия

• Дравидийские языки — (дравидские языки)  семья языков на территории Южноазиатского (Индийского) субконтинента. Распространены главным образом в Индии, особенно в южных штатах, а также в Пакистане, Южном Афганистане, Восточном Иране (язык брахуи), частично в Шри Ланке …   Лингвистический энциклопедический словарь

• Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная …   Википедия

• Суперкомбинаторы — Суперкомбинаторы  это объекты, инвариантные относительно среды вычислений, которые формируются динамически, в ходе выполнения программы. Они устанавливают чисто объектную систему программирования, встроенную в комбинаторную логику. Тем самым …   Википедия

• Задание группы — Задание группы, в теории групп  один из методов определения группы указанием порождающего множества и множества соотношений между порождающими . В этом случае говорят, что группа имеет задание . Неформально, имеет такое задание, если она… …   Википедия

• Суперкомбинатор — Суперкомбинатор  объект, инвариантный относительно среды вычислений, который формируется динамически, в ходе выполнения программы. Суперкомбинаторы устанавливают чисто объектную систему программирования, встроенную в комбинаторную логику.… …   Википедия

• Комбинаторика — (Комбинаторный анализ)  раздел математики, изучающий дискретные объекты, множества (сочетания, перестановки, размещения и перечисления элементов) и отношения на них (например, частичного порядка). Комбинаторика связана со многими другими… …   Википедия